Automata theory

Results: 1263



#Item
21Cellular automata / Cellular automaton / Systems theory / Jarkko Kari / Turku Centre for Computer Science / Gibbs measure / Automata / Measure / University of Turku / Laws of science / A New Kind of Science

Siamak Taati Conservation Laws in Cellular Automata TUCS Dissertations

Add to Reading List

Source URL: www.staff.science.uu.nl

Language: English - Date: 2011-12-30 16:37:14
22Finite automata / Formal languages / Regular language / Generalized nondeterministic finite automaton / Pumping lemma for context-free languages / Nondeterministic finite automaton

MCS 441 – Theory of Computation I Spring 2016 Problem Set 2 Lev Reyzin Due: at the beginning of class

Add to Reading List

Source URL: homepages.math.uic.edu

Language: English - Date: 2016-02-03 00:14:14
23Cellular automata / Dynamical systems / Cellular automaton / Systems theory / Turing machine / Block cellular automaton

Conservation Laws in Cellular Automata Siamak Taati Abstract A conservation law in a cellular automaton is the statement of the invariance of a local and additive energy-like quantity. This chapter reviews the basic theo

Add to Reading List

Source URL: www.staff.science.uu.nl

Language: English - Date: 2011-12-30 16:36:32
24Combinatorics on words / Symbolic dynamics / Markov processes / Spectral theory / Ergodic theory / Subshift of finite type / Shift space / Spectral theory of ordinary differential equations / Jordan normal form

Cellular Automata Reversible over Limit Set? S IAMAK TAATI† Turku Centre for Computer Science, and Department of Mathematics, University of Turku, Finland Reversibility of dynamics is a fundamental feature of nature,

Add to Reading List

Source URL: www.staff.science.uu.nl

Language: English - Date: 2011-12-30 16:36:20
25Algebraic structures / Functions and mappings / Linear algebra / Operator theory / Matrix / Ring / Idempotent matrix / Linear map / Plancherel theorem for spherical functions / Beltrami equation

TAKE-HOME CLASS QUIZ: DUE WEDNESDAY OCTOBER 30: LINEAR TRANSFORMATIONS AND FINITE STATE AUTOMATA MATH 196, SECTION 57 (VIPUL NAIK) Your name (print clearly in capital letters): PLEASE FEEL FREE TO DISCUSS ALL QUESTIONS.

Add to Reading List

Source URL: files.vipulnaik.com

Language: English - Date: 2016-08-13 11:33:29
26Systems theory / Cellular automata / Cellular automaton / Emergence / Dynamical system / Entropy / Coupled map lattice

Emergence and Collapse of Order in Mutually Imitating Agents

Add to Reading List

Source URL: www.complex-systems.com

Language: English - Date: 2015-07-07 15:35:12
27Semigroup theory / Algebraic structures / Category theory / Transformation semigroup / Semigroup / Coproduct / Monoid / Inverse element / Permutation group / Group action / Product / KrohnRhodes theory

Coproducts for Permutation Groups, Transformation Semigroups, Automata and Related Categories Chrystopher L. Nehaniv joint work with Fariba Karimi Woflson Royal Society Biocomputation Laboratory

Add to Reading List

Source URL: www.maths.dur.ac.uk

Language: English - Date: 2015-09-09 07:05:29
28Formal languages / Theoretical computer science / Theory of computation / Computability theory / Models of computation / Computability / Automata theory / Introduction to the Theory of Computation / Turing machine / Super-recursive algorithm / Algorithm / Finite-state machine

Summer 2009 :: COM SCI 181, Sec.1 :: Introduction to Formal Languages and Automata Theory :: Syllabus/Info Class Information Location, day, time: *from the Registrar

Add to Reading List

Source URL: atakangunal.com

Language: English - Date: 2014-10-22 13:26:26
29Finite automata / Theoretical computer science / Formal languages / Infographics / Linear temporal logic / Temporal logic / Finite-state machine / Diagram / Sequence / Formal verification / Automata theory / Bchi automaton

Towards Diagrammability and Efficiency in Event Sequence Languages Kathi Fisler Department of Computer Science WPI (Worcester, MA, USA)

Add to Reading List

Source URL: web.cs.wpi.edu

Language: English - Date: 2005-05-29 14:49:51
30Theoretical computer science / Edsger W. Dijkstra / ACM SIGACT / Association for Computing Machinery / Symposium on Theory of Computing / Symposium on Parallelism in Algorithms and Architectures / Symposium on Principles of Distributed Computing / Symposium on Computational Geometry / ACM-W / International Colloquium on Automata /  Languages and Programming / Gdel Prize / Symposium on Foundations of Computer Science

SIGACCESS FY’14 Annual Report July 2013 – June 2014 Submitted by: Andrew Sears SIGACCESS continues to refine its activities to meet member needs. This report highlights SIGACCESS Awards as well as the SIG’s confere

Add to Reading List

Source URL: www.acm.org

Language: English - Date: 2014-11-11 12:51:19
UPDATE